import java.util.HashSet;


public class Terminal {
	private HashSet<Character> chars = new HashSet<Character>();
	
	private DFA dfa;
	private NFA nfa;
	private String name;

	public void addChar(char c) {
		chars.add(c);
	}
	
	public void removeChar(char c) {
		chars.remove(c);
	}
	
	public boolean containsChar(char c) {
		return chars.contains(c);
	}
	
	
	/* 
	 * Getters and setters 
	 */
	
	public HashSet<Character> getChars() {
		return chars;
	}
	
	public void setChars(HashSet<Character> chars) {
		this.chars = chars;
	}
	
	public String getName() {
		return name;
	}

	public void setName(String name) {
		this.name = name;
	}

	public DFA getDFA() {
		return dfa;
	}

	public void setDFA(DFA dfa) {
		this.dfa = dfa;
	}

	public NFA getNFA() {
		return nfa;
	}

	public void setNFA(NFA nfa) {
		this.nfa = nfa;
	}

}